📊 Static Analysis

Linting, Code Quality, Abstract Interpretation, Data Flow, Abstract Interpretation, Data Flow Analysis, Program Analysis, Verification

Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
I Spent 40 Hours Writing Tests That Broke in 2 Weeks — A Confession Story
dev.to·7h·
Discuss: DEV
🔍Concolic Testing
A Programmer’s Guide to x86-64 Assembly (Series Overview)
blog.codingconfessions.com·1d
🔧RISC-V Assembler
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·2d
🎯Gradual Typing
About our proof-of-concept LLM tool for navigating Debian's manpages
gwolf.org·7h
🦀Rust Macros
Why Even Legendary Games Like Wesnoth Hide Bugs in Plain Sight
hackernoon.com·10h
📜Proof Carrying Code
What people said about an OpenZFS bug
despairlabs.com·1d·
Discuss: Lobsters, Hacker News
🔒Type Safety
AwesomeAssertions/AwesomeAssertions
github.com·1d
✅Format Verification
Python Fundamentals: case
dev.to·5h·
Discuss: DEV
✅Format Verification
Detection Engineering: Practicing Detection-as-Code – Repository – Part 2
blog.nviso.eu·10h
🔄Reproducible Builds
The Architecture of Open Source Applications (Volume 1) Battle for Wesnoth
aosabook.org·2h·
Discuss: Hacker News
🔒WASM Capabilities
Issue 481
haskellweekly.news·6h
🔗Functional Compilers
My favorite use-case for AI is writing logs
vickiboykis.com·1d
🌳Incremental Parsing
Almost Always Auto (2013)
herbsutter.com·8h·
Discuss: Hacker News
🔒Type Safety
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·16h·
Discuss: Hacker News
🔗Concatenative Programming
Why We Develop EloqDB Mainly in C++
eloqdata.com·3h·
Discuss: Hacker News
🦀Rust Borrowing
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.org·14h
💻Programming languages
A Rust shaped hole
ente.io·3d
🦀Rust Macros
Philips Hue White Ambiance is actually terrible…
wejn.org·4h
🔓Reverse engineering
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·18h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers